Supporting End-User Development of Component-Based Software by Checking Integrity Mechanisms
نویسنده
چکیده
Component-based software can be used to build highly tailorable and therefore flexible software systems. To support end-users when tailoring or even developing their applications themselves different approaches were discussed. This papers describes an interactive integrity check as a support for end-user development or tailoring. It is based on the idea that developers can describe the “right” use of their components as well as they can describe properties which belong to specific groups of applications. Those information can be used to check the application composed by such components at tailoring time. Thus, the learning of tailoring activities will improve as well as a better understanding for the resulting software can be achieved.
منابع مشابه
Supporting End-User Tailoring of Component-Based Software - Checking Integrity of Compositions
Component-based software can be used to build highly tailorable and therefore flexible software systems. To support end-users while tailoring their applications themselves different approaches were discussed. This paper describes an interactive integrity checking concept as a support for end-user tailoring. It is based on the idea that developers can describe the ”right” use of their components...
متن کاملStatic and Dynamic Visualisation of Software Architectures for Component-based Systems
Component-based software architectures are increasingly being adopted as solutions for various software engineering problems. We describe a component-based software architecture and its supporting CASE tool we have been developing. Our tool supports both static and dynamic visualisation of component-based systems, together with end-user configuration of such systems by user extension of these v...
متن کاملComponent-Based Design and Analysis of Embedded Systems with UPPAAL PORT
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language SaveCCM and provides efficient model-checking by using partial-order reduction techniques that exploits the structure and the component behavior of the model. UPPAAL PORT is implemented as an extension of the verification...
متن کاملHandling emergency mode switch for component-based systems—An extended report
Component-Based Software Engineering has been introduced as a technique for the development of complex systems. Software complexity can also be reduced by partitioning the system behavior into different modes. Such a multi-mode system is able to change its behavior at runtime by switching between different operational modes. When a multimode system is developed by reusable software components, ...
متن کاملارزشگذاری ویژگیهای موجودیتهای الگوی مفهومی اف. آر. بی. آر. از دیدگاه کاربران فهرستهای رایانهای
Purpose: The aim is investigating views of three groups of library users (non-professionals, specialized professionals, librarians) regardingthe importance and value of Attributes of entities of FRBR Conceptual model in supporting user tasks. Methodology: all attributes of entities of FRBR Conceptual model in supporting user tasks, was examined and evaluated through a descriptive-survey of th...
متن کامل